_require "./ReplicationDatatypeDecl2.smi"

datatype d1a = datatype d1
